# include<stdio.h>
int main(void)
{
	printf("%d",250);
	return 0;
	
}
